case class Prod[S, A](run: (A, S))